Variable Forgetting in Reasoning about Knowledge
نویسندگان
چکیده
منابع مشابه
Variable Forgetting in Reasoning about Knowledge
In this paper, we investigate knowledge reasoning within a simple framework called knowledge structure. We use variable forgetting as a basic operation for one agent to reason about its own or other agents’ knowledge. In our framework, two notions namely agents’ observable variables and the weakest sufficient condition play important roles in knowledge reasoning. Given a background knowledge ba...
متن کاملReasoning about Knowledge by Variable Forgetting
In this paper, we investigate knowledge reasoning within a simple framework called knowledge structure. We use variable forgetting as a basic operation for one agent to reason about its own or other agents’ knowledge. In our framework, two notions namely agents’ observable variables and the weakest sufficient condition play important roles in knowledge reasoning. Given a background knowledge ba...
متن کاملReasoning About Quantum Knowledge
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum computation. While we rely on structures developed in [1], we stress that our notion of quantum knowledge makes sense more generally in any agentbased model for distributed quantum systems. Several arguments are given to support our view that an agent’s possibility relation sho...
متن کاملReasoning About Knowledge in Economics
Reasoning about other people's reasoning and knowledge about other people's knowledge lie at the heart of game theory and economic theory. Each person affects everybody else. You cannot decide what to do without some knowledge or belief about what others will do; and this must be based on an estimate of their knowledge and beliefs, about substantive matters as well as about what they think abou...
متن کاملReasoning about Student Knowledge and Reasoning
A basic feature of Intelligent Tutoring Systems (ITS) is their ability to represent domain knowledge that can be attributed to the student at each stage of the learning process. In this paper we present a general (first order logic) framework for the representation of this kind of knowledge acquired by the system through the analysis of the student answers. This represantation makes it possible...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Artificial Intelligence Research
سال: 2009
ISSN: 1076-9757
DOI: 10.1613/jair.2750